module Module

type U = | A
